Em ciência da computação, composição de objetos (não confundir com composição de funções) é uma maneira de se combinar objetos simples ou tipos de dados em objetos mais complexos. Composições são blocos de construção críticos de muitas estruturas de dados básicas, incluindo a união rotulada, lista ligada e árvore binária, bem como o objeto utilizado em programação orientada a objetos.

Objetos compostos são frequentemente referidos como tendo um relacionamento "tem um". Um exemplo de composição do mundo real pode ser visto em um automóvel: os objetos roda, volante, banco, transmissão e motor podem não ter utilidade funcionando isoladamente, mas um objeto chamado automóvel contendo todos estes objetos teria uma função muito útil, maior que a soma de todas as suas partes.

Quando, em uma linguagem de programação, os objetos são tipados, os tipos geralmente podem ser dividos em tipos compostos e não-compostos e a composição pode ser considerada uma relação entre os tipos: um objeto de um tipo composto (e.g. carro) "tem um" objeto de um tipo mais simples (e.g. roda).

A composição deve ser distinguida de subtipo, que é o processo de adicionar detalhes a um tipo de dados geral para criar um tipo de dados mais específico. Por exemplo, os carros podem ser um tipo específico de veículo: carro é um veículo. Subtipo não descreve um relacionamento entre objetos diferentes, em vez disso, ele diz que objetos de um tipo são simultâneamente objetos de outro tipo.

Em linguagens de programação, objetos compostos são normalmente expressos por meio de referências de um objeto para outro, que dependendo da linguagem, tais referências podem ser conhecidas como campos, membros, propriedades ou atributos e a composição resultante como uma estrutura, registro, tupla, tipo definido pelo usuário (TDU) ou tipo composto. São atribuídos nomes exclusivos aos campos para que cada um possa ser distinguido dos outros. Entretanto, possuir tais referências não significa necessariamente que um objeto é composto. Ele só pode ser definido como composto se os objetos a que ele se refere fazem parte dele de fato, isto é, não existem isoladamente. Para detalhes, veja a seção agregação abaixo.